منابع مشابه
Logical mechanism design
Game theory is becoming central to the design and analysis of computational mechanisms in which multiple entities interact strategically. The tools of mechanism design are used extensively to engineer incentives for truth revelation into resource allocation (e.g. combinatorial auctions) and preference aggregation protocols (e.g. voting). We argue that mechanism design can also be useful in the ...
متن کاملLogical Design
• DECIMAL or NUMERIC is the type of numbers represented as strings of decimal digits. This will have some upper bound on the length of representations that the system is willing to tolerate. Although internally DECIMALs are stored just like strings, they are interpreted as numbers. Therefore any leading zeros are removed. On the other hand, trailing zeros are preserved because they could indica...
متن کاملLogical Framework Design
Why not just classical logic? Iliano Cervesato I was recently invited to give a presentation about the logical framework LLF. After a 40 minutes talk in which I revealed the intricacies of the underlying type theory and illustrated by means of examples the meta-representation wonders of this new language, somebody in the audience said: \This looks very complicated. Why not using, say, classical...
متن کاملLogical Database Design: from Conceptual to Logical Schema
Definition Logical database design is the process of transforming (or mapping) a conceptual schema of the application domain into a schema for the data model underlying a particular DBMS, such as the relational or objectoriented data model. This mapping can be understood as the result of trying to achieve two distinct sets of goals: (i) representation goal: preserving the ability to capture and...
متن کاملLogical Design with Molecular Components
We propose a theoretical model to realize DNA made circuits based on in-vitro algorithms, to perform arithmetic and logical operations. The physical components of the resulting Arithmetic-Logic Unit are a variety of elements such as biochemical laboratories, test tubes and human operators. The advantage of the model is the possibility to perform arithmetic operations with huge binary numbers.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Knowledge Engineering Review
سال: 2011
ISSN: 0269-8889,1469-8005
DOI: 10.1017/s0269888910000421